141. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
142. SystemVerilog assertions and functional coverage
پدیدآورنده : / Ashok B. Mehta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
رده :
E-BOOK
143. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
144. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
TK7885
.
7
.
S67
2006
145. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
E-BOOK
146. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
147. SystemVerilog for verification :
پدیدآورنده : Chris Spear, Greg Tumbush.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012eb
148. Systemverilog assertions and functional coverage: guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification
رده :
TK
7885
.
7
.
M4
2014
149. Systemverilog for verification :
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
150. Taxonomies for the development and verification of digital systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Digital integrated circuits ; Design and construction. ; Integrated circuits ; Verification. ; Digital communications. ;
151. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
152. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuit--Verification,Computer--Circuits--Testing
رده :
E-BOOK
153. The E hardware verification language
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer hardware description languages ; Integrated circuits ; Verification ; Computers ; Circuits ; Testing ;
154. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuits , Verification,Computers , Circuits , Testing
رده :
E-BOOK
155. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Computers- Circuits- Testing
رده :
TK7885
.
7
.
I43
2004
156. The fusion of hardware design and verification :proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Desi Verification, Glasgow, Scotland, 4-6 July 1988
پدیدآورنده : edited by George J. Milne
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Integrated circuits--Design and construction--Data-processing--Congres,Computer-aided design--Congresses,Integrated circuits--Verification--Congresses
رده :
TK
،
7874
،.
I328
،
1988
157. The power of assertions in SystemVerilog
پدیدآورنده : Eduard Cerny ... ]et al.[
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Verilog )Computer hardware description language(,، Integrated circuits, Verification, Data processing
رده :
TK
7874
.
58
.
P69
2010
158. The power of assertions in system verilog
پدیدآورنده : / Eduard Cerny...[et al]
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification - Data processing
رده :
TK7874
.
58
.
P69
2010
159. The power of assertions in system verilog
پدیدآورنده : Eduard Cerny ... ]et al.[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Verilog )Computer hardware description language(,Verification -- Data processing ، Integrated circuits
رده :
TK
7874
.
58
.
P69
2010
160. Theorem provers in circuit design :
پدیدآورنده : Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
